computational theorems - Alemán Inglés Diccionario